# coding=utf-8
import random_main
print  random_main.__name__

#import requests

#res = requests.get("http://www.itcast.cn")
#savefile = open("itcast.html", "w")
#savefile.write(res.cont#ent)
#savefile.close()
